Operating systems - PDFSEARCH.IO - Document Search Engine

Operating systems
Results: 3665

#	Item
791	Runtime Verification meets Android Security Andreas Bauer1,2 , Jan-Christoph K¨uster1,2 , and Gil Vegliach1 1 NICTA Software Systems Research Group · 2 The Australian National University Add to Reading List Source URL: www.gilvegliach.it Language: English - Date: 2014-02-20 13:15:14 Computer architecture Android software development Android Mobile operating system Malware Symbian Linear temporal logic Motorola Droid Smartphones Software Computing
792	GPS105 Operating Manual & Quick Start Guide Add to Reading List Source URL: www.uniden.com.au Language: English - Date: 2014-01-08 07:45:40 Satellite navigation systems Radio electronics Global Positioning System Nuclear command and control Antenna Point of interest Ultra high frequency Technology GPS Navigation
793	Introducing the iRMX® Operating Systems RadiSys Corporation 5445 NE Dawson Creek Drive Hillsboro, OR 97124 Add to Reading List Source URL: www.tenasys.com Language: English - Date: 2012-03-29 23:07:20 RMX Computing Linux TenAsys Computer architecture Real-time operating systems System software
794	System Requirements Operating Systems 3D FeatureXtract is supported on Windows systems only. It supports all Windows versions including: Add to Reading List Source URL: www.pcigeomatics.com Language: English - Date: 2015-04-28 10:30:21 GPGPU Microsoft Windows Windows XP System requirements Graphics processing unit Radeon R600 ATI Technologies 64-bit Parallels Workstation Extreme Software System software Computing
795	BLACKBERRY SDK LICENSE AGREEMENT THIS BLACKBERRY SDK LICENSE AGREEMENT (THIS "AGREEMENT") IS A LEGAL AGREEMENT BETWEEN YOU INDIVIDUALLY IF YOU ARE AGREEING TO IT IN YOUR OWN CAPACITY, OR IF YOU ARE AUTHORIZED TO ACQUIRE Add to Reading List Source URL: us.blackberry.com Language: English - Date: 2012-05-29 10:17:03 Technology Research In Motion Embedded operating systems Information appliances Smartphones Software development kit Proprietary software Adobe AIR QNX Software Computing BlackBerry
796	Ada 2005 for Mission-Critical Systems José F. Ruiz AdaCore 8 rue de MilanParis, France Phone: +16 Add to Reading List Source URL: www.adacore.com Language: English - Date: 2011-12-15 13:59:45 Ada programming language Real-time computing Embedded systems Scheduling algorithms Ada Ravenscar profile Real-time operating systems SPARK Worst-case execution time Computing Software engineering Computer programming
797	Standards: Bridging the Generation Gap between Linux® and UNIX® Systems UNIX is a registered trademark of The Open Group Linux is a registered trademark of Linus Torvalds 1 Add to Reading List Source URL: www.unix.org Language: English - Date: 2003-03-19 06:44:02 IEEE standards ISO standards Linux Application programming interfaces POSIX Single UNIX Specification Unix Operating system Software portability Software Computing System software
798	Mixed Critical Earliest Deadline First Dario Socci, Peter Poplavko, Saddek Bensalem, Marius Bozga Verimag Research Report no TRSeptember 2012 Add to Reading List Source URL: www-verimag.imag.fr Language: English - Date: 2012-12-07 10:39:43 Scheduling Operations research Computing Embedded systems Worst-case execution time Windows NT processor scheduling Real-time operating system Priority right Job scheduler Scheduling algorithms Real-time computing Technology
799	Using Sequencing to Trigger a Better Analysis Nathan Cooprider and John Regehr University of Utah School of Computing {coop, regehr}@cs.utah.edu Abstract Add to Reading List Source URL: www.cs.utah.edu Language: English - Date: 2007-11-16 16:23:34 Embedded operating systems Embedded systems Digital electronics NesC Wireless sensor network Interrupt TinyOS Scheduling Microcontroller Computer architecture Computing Interrupts
800	iRMX® Programming Concepts for DOS RadiSys Corporation 5445 NE Dawson Creek Drive Hillsboro, OR 97124 Add to Reading List Source URL: www.tenasys.com Language: English - Date: 2012-03-29 23:08:18 Real-time operating systems RMX DOS BIOS Operating system Windows 3.1x Windows 95 File system TenAsys Software Computer architecture Computing

UPDATE